41. Introduction to computational mathematics /Xin-She Yang.
پدیدآورنده : مولف
کتابخانه: (هرمزکان)
موضوع : Numerical analysis,Algorithms.,Mathematical analysis--Foundations.,Programming (Mathematics)
42. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
پدیدآورنده : )by( Wilfreid Buchholz )et al(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
43. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: (طهران)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
299
.
8
.
I85
1981
44. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
45. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: (طهران)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
Vol
.
897
46. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... )et al.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematical analysis - Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
1
.
L4
v
.
897
47. #Linear and non-linear numerical analysis of foundations
پدیدآورنده : #edited by John W. Bull
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Foundations -- Mathematical models ،Numerical analysis
رده :
#
TA
،#.
B85
،#
2009
48. Linear and non-linear numerical analysis of foundations
پدیدآورنده : / edited by John W. Bull
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Foundations--Mathematical models,Numerical analysis
رده :
TA775
.
B85
2009
49. Mathematical foundations of classical statistical mechanics: continous systems
پدیدآورنده : Petrina, Dmitrii Iakovlevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Statistical mechanics,Foundations ، Mathematical analysis
رده :
QC
174
.
8
.
P4813
2002
50. Number systems: a modern introduction
پدیدآورنده : / Mervin L. Keedy
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Arithmetics - Foundations,Mathematical analysis
رده :
512
.
81
Ke-N
51. Number systems and the foundations of analysis
پدیدآورنده : Mendelson, Elliott.
موضوع : ، Number theory,، Mathematical analysis-- Foundations
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
52. Proof theory of impredicative subsystems of analysis
پدیدآورنده : Buchholz, Wilfried, 8491-
کتابخانه: (طهران)
موضوع : ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
53. Sets and numbers
پدیدآورنده : M.K. Singal and Asha Rani,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematical analysis- Foundations
رده :
QA
.
S5
299
.
8
1976
54. The continuum : a critical examination of the foundation of analysis, Kontinuum. English
پدیدآورنده : Weyl, Hermann
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Mathematical analysis-- Foundations
رده :
QA
299
.
8
.
W4813
1994
55. The foundations of analysis :
پدیدآورنده : K.G. Binmore
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical analysis-- Foundations
56. The foundations of analysis : a straightforward introduction
پدیدآورنده : K.G. Binmore,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematical analysis - Foundations
رده :
QA
.
B56
299
.
8
57. The number systems of analysis
پدیدآورنده : Little, Charles H. C., 7491-
کتابخانه: (طهران)
موضوع : ، Mathematical analysis -- Foundations,، Numbers, Complex
رده :
QA
299
.
8
.
L58N8
58. The philosophy of mathematical practice
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematical analysis ; Foundations. ;
59. The philosophy of mathematical practice
پدیدآورنده : Mancosu, Paolo.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Foundations ، Mathematical analysis
رده :
QA299
.
8
.
M36
2008
60. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
